How to specify bold font in VS Code editor